[INFO] cloning repository https://github.com/ClankPan/Berm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ClankPan/Berm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 33925bf36e7efcabdda7c591a1c14525d3429da5
[INFO] checking ClankPan/Berm against master#ff647322379c48947c196639599067665ff9eb88 for pr-151539-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FClankPan%2FBerm" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ClankPan/Berm
[INFO] finished tweaking git repo https://github.com/ClankPan/Berm
[INFO] tweaked toml for git repo https://github.com/ClankPan/Berm written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ClankPan/Berm on toolchain ff647322379c48947c196639599067665ff9eb88
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff647322379c48947c196639599067665ff9eb88" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ClankPan/Berm already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff647322379c48947c196639599067665ff9eb88" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ark-grumpkin v0.5.0
[INFO] [stderr]   Downloaded nest_struct v0.5.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf
[INFO] running `Command { std: "docker" "start" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf" "/opt/rustwide/cargo-home/bin/cargo" "+ff647322379c48947c196639599067665ff9eb88" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf" "/opt/rustwide/cargo-home/bin/cargo" "+ff647322379c48947c196639599067665ff9eb88" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.25
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking hashbrown v0.15.3
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]    Compiling syn v2.0.101
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]    Compiling convert_case v0.7.1
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]     Checking ark-std v0.5.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.3.1
[INFO] [stderr]    Compiling ark-serialize-derive v0.5.0
[INFO] [stderr]    Compiling ark-ff-macros v0.5.0
[INFO] [stderr]    Compiling ark-ff-asm v0.5.0
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling ark-crypto-primitives-macros v0.5.0
[INFO] [stderr]    Compiling nest_struct v0.5.4
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking ark-serialize v0.5.0
[INFO] [stderr]     Checking merlin v3.0.0
[INFO] [stderr]    Compiling enum-ordinalize v4.3.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking ark-ff v0.5.0
[INFO] [stderr]     Checking ark-poly v0.5.0
[INFO] [stderr]     Checking ark-relations v0.5.1
[INFO] [stderr]     Checking ark-snark v0.5.1
[INFO] [stderr]     Checking ark-ec v0.5.0
[INFO] [stderr]     Checking ark-r1cs-std v0.5.0
[INFO] [stderr]     Checking ark-bn254 v0.5.0
[INFO] [stderr]     Checking ark-grumpkin v0.5.0
[INFO] [stderr]     Checking ark-crypto-primitives v0.5.0
[INFO] [stderr]     Checking zkvm-live-coding v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `alloc::AllocVar`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     alloc::AllocVar,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `CommVar`
[INFO] [stdout]   --> src/main.rs:10:17
[INFO] [stdout]    |
[INFO] [stdout] 10 | use cyclefold::{CommVar, CycleFold};
[INFO] [stdout]    |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fq` and `Fr`
[INFO] [stdout]  --> src/alloc.rs:1:17
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ark_bn254::{Fq, Fr};
[INFO] [stdout]   |                 ^^  ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/alloc.rs:2:14
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{Field, PrimeField};
[INFO] [stdout]   |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/cyclefold.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/cyclefold.rs:4:14
[INFO] [stdout]   |
[INFO] [stdout] 4 | use ark_ff::{Field, PrimeField};
[INFO] [stdout]   |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_grumpkin::constraints::GVar`
[INFO] [stdout]  --> src/cyclefold.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_grumpkin::constraints::GVar;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Boolean`, `ToBitsGadget`, and `select::CondSelectGadget`
[INFO] [stdout]  --> src/cyclefold.rs:7:139
[INFO] [stdout]   |
[INFO] [stdout] 7 | ...edFpVar, fp::FpVar, FieldVar}, prelude::{Boolean, ToBitsGadget}, select::CondSelectGadget, R1CSVar
[INFO] [stdout]   |                                             ^^^^^^^  ^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::alloc::Alloc`
[INFO] [stdout]   --> src/cyclefold.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::alloc::Alloc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `prelude::Boolean` and `select::CondSelectGadget`
[INFO] [stdout]   --> src/zerofold.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     prelude::Boolean,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 14 |     select::CondSelectGadget,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `alloc::AllocVar`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     alloc::AllocVar,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `CommVar`
[INFO] [stdout]   --> src/main.rs:10:17
[INFO] [stdout]    |
[INFO] [stdout] 10 | use cyclefold::{CommVar, CycleFold};
[INFO] [stdout]    |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Fq` and `Fr`
[INFO] [stdout]  --> src/alloc.rs:1:17
[INFO] [stdout]   |
[INFO] [stdout] 1 | use ark_bn254::{Fq, Fr};
[INFO] [stdout]   |                 ^^  ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/alloc.rs:2:14
[INFO] [stdout]   |
[INFO] [stdout] 2 | use ark_ff::{Field, PrimeField};
[INFO] [stdout]   |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::rc::Rc`
[INFO] [stdout]  --> src/cyclefold.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::rc::Rc;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Field`
[INFO] [stdout]  --> src/cyclefold.rs:4:14
[INFO] [stdout]   |
[INFO] [stdout] 4 | use ark_ff::{Field, PrimeField};
[INFO] [stdout]   |              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_grumpkin::constraints::GVar`
[INFO] [stdout]  --> src/cyclefold.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_grumpkin::constraints::GVar;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Boolean`, `ToBitsGadget`, and `select::CondSelectGadget`
[INFO] [stdout]  --> src/cyclefold.rs:7:139
[INFO] [stdout]   |
[INFO] [stdout] 7 | ...edFpVar, fp::FpVar, FieldVar}, prelude::{Boolean, ToBitsGadget}, select::CondSelectGadget, R1CSVar
[INFO] [stdout]   |                                             ^^^^^^^  ^^^^^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::alloc::Alloc`
[INFO] [stdout]   --> src/cyclefold.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::alloc::Alloc;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `prelude::Boolean` and `select::CondSelectGadget`
[INFO] [stdout]   --> src/zerofold.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     prelude::Boolean,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 14 |     select::CondSelectGadget,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/cyclefold.rs:48:17
[INFO] [stdout]    |
[INFO] [stdout] 48 |     pub fn base(cs: ConstraintSystemRef<Fr>) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]   --> src/cyclefold.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let rlc_1 = Rlc::new(c_r.1, c_i.1, rb);
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_2`
[INFO] [stdout]   --> src/cyclefold.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let rlc_2 = Rlc::new(c_r.2, c_i.2, rb);
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_r`
[INFO] [stdout]    --> src/cyclefold.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |         com_r: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_i`
[INFO] [stdout]    --> src/cyclefold.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 |         com_i: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_f`
[INFO] [stdout]    --> src/cyclefold.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |         com_f: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cf_b`
[INFO] [stdout]    --> src/cyclefold.rs:124:13
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let cf_b = UVar::base(cs.clone())?;
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_cf_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]    --> src/cyclefold.rs:160:9
[INFO] [stdout]     |
[INFO] [stdout] 160 |         cs: ark_relations::r1cs::ConstraintSystemRef<Fq>,
[INFO] [stdout]     |         ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/zerofold.rs:68:17
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub fn base(cs: ConstraintSystemRef<Fr>) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/cyclefold.rs:48:17
[INFO] [stdout]    |
[INFO] [stdout] 48 |     pub fn base(cs: ConstraintSystemRef<Fr>) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_1`
[INFO] [stdout]   --> src/cyclefold.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let rlc_1 = Rlc::new(c_r.1, c_i.1, rb);
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rlc_2`
[INFO] [stdout]   --> src/cyclefold.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let rlc_2 = Rlc::new(c_r.2, c_i.2, rb);
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_rlc_2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_r`
[INFO] [stdout]    --> src/cyclefold.rs:116:9
[INFO] [stdout]     |
[INFO] [stdout] 116 |         com_r: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_i`
[INFO] [stdout]    --> src/cyclefold.rs:117:9
[INFO] [stdout]     |
[INFO] [stdout] 117 |         com_i: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/main.rs:31:29
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn synthesize(self, cs: ConstraintSystemRef<Fr>, z_in: &Vec<FrVar>) -> Result<Vec<FrVar>> {
[INFO] [stdout]    |                             ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `com_f`
[INFO] [stdout]    --> src/cyclefold.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |         com_f: &CommVar,
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_com_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cf_b`
[INFO] [stdout]    --> src/cyclefold.rs:124:13
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let cf_b = UVar::base(cs.clone())?;
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_cf_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]    --> src/cyclefold.rs:160:9
[INFO] [stdout]     |
[INFO] [stdout] 160 |         cs: ark_relations::r1cs::ConstraintSystemRef<Fq>,
[INFO] [stdout]     |         ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_in`
[INFO] [stdout]   --> src/main.rs:31:58
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn synthesize(self, cs: ConstraintSystemRef<Fr>, z_in: &Vec<FrVar>) -> Result<Vec<FrVar>> {
[INFO] [stdout]    |                                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_z_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |         let mut cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]    |             ----^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |         let mut cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/zerofold.rs:68:17
[INFO] [stdout]    |
[INFO] [stdout] 68 |     pub fn base(cs: ConstraintSystemRef<Fr>) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |                 ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zf`
[INFO] [stdout]   --> src/main.rs:94:5
[INFO] [stdout]    |
[INFO] [stdout] 94 |     zf: &zerofold::UVar,
[INFO] [stdout]    |     ^^ help: if this is intentional, prefix it with an underscore: `_zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cf`
[INFO] [stdout]   --> src/main.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     cf: &cyclefold::UVar,
[INFO] [stdout]    |     ^^ help: if this is intentional, prefix it with an underscore: `_cf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_0`
[INFO] [stdout]   --> src/main.rs:96:5
[INFO] [stdout]    |
[INFO] [stdout] 96 |     z_0: &Vec<FrVar>,
[INFO] [stdout]    |     ^^^ help: if this is intentional, prefix it with an underscore: `_z_0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_i`
[INFO] [stdout]   --> src/main.rs:97:5
[INFO] [stdout]    |
[INFO] [stdout] 97 |     z_i: &Vec<FrVar>,
[INFO] [stdout]    |     ^^^ help: if this is intentional, prefix it with an underscore: `_z_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sc_i`
[INFO] [stdout]   --> src/main.rs:98:5
[INFO] [stdout]    |
[INFO] [stdout] 98 |     sc_i: &FrVar,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_sc_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Nsc` is more private than the item `zerofold::UVar::new`
[INFO] [stdout]   --> src/zerofold.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     pub fn new(cs: ConstraintSystemRef<Fr>, nsc: Nsc) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `zerofold::UVar::new` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:34:1
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Nsc` is more private than the item `ZeroFold::prove`
[INFO] [stdout]   --> src/zerofold.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 | /     pub fn prove(
[INFO] [stdout] 82 | |         pp: Param<G1Projective>,
[INFO] [stdout] 83 | |         u_r: Nsc,
[INFO] [stdout] 84 | |         cc: Sc,
[INFO] [stdout] 85 | |         pc: Sc,
[INFO] [stdout] 86 | |         mle: MLE,
[INFO] [stdout] 87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:34:1
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Sc` is more private than the item `ZeroFold::prove`
[INFO] [stdout]   --> src/zerofold.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 | /     pub fn prove(
[INFO] [stdout] 82 | |         pp: Param<G1Projective>,
[INFO] [stdout] 83 | |         u_r: Nsc,
[INFO] [stdout] 84 | |         cc: Sc,
[INFO] [stdout] 85 | |         pc: Sc,
[INFO] [stdout] 86 | |         mle: MLE,
[INFO] [stdout] 87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Sc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct Sc {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `MLE` is more private than the item `ZeroFold::prove`
[INFO] [stdout]    --> src/zerofold.rs:81:5
[INFO] [stdout]     |
[INFO] [stdout]  81 | /     pub fn prove(
[INFO] [stdout]  82 | |         pp: Param<G1Projective>,
[INFO] [stdout]  83 | |         u_r: Nsc,
[INFO] [stdout]  84 | |         cc: Sc,
[INFO] [stdout]  85 | |         pc: Sc,
[INFO] [stdout]  86 | |         mle: MLE,
[INFO] [stdout]  87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]     | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `MLE` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/zerofold.rs:325:1
[INFO] [stdout]     |
[INFO] [stdout] 325 | struct MLE {
[INFO] [stdout]     | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `AugmentedCircuit` is never constructed
[INFO] [stdout]   --> src/main.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | struct AugmentedCircuit {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_input` is never used
[INFO] [stdout]   --> src/alloc.rs:10:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait Alloc<F: PrimeField> {
[INFO] [stdout]    |           ----- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 10 |     fn to_input(&self, cs: ConstraintSystemRef<F>) -> ark_relations::r1cs::Result<Self::Out>;
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vandermonde_interpolation` is never used
[INFO] [stdout]  --> src/coeffs.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn vandermonde_interpolation<F: Field>(evals: &[F]) -> Vec<F> {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gaussian_elimination` is never used
[INFO] [stdout]   --> src/coeffs.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn gaussian_elimination<F: Field>(matrix: &mut [Vec<F>]) -> Vec<F> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `echelon` is never used
[INFO] [stdout]   --> src/coeffs.rs:53:4
[INFO] [stdout]    |
[INFO] [stdout] 53 | fn echelon<F: Field>(matrix: &mut [Vec<F>], i: usize, j: usize) {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eliminate` is never used
[INFO] [stdout]   --> src/coeffs.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn eliminate<F: Field>(matrix: &mut [Vec<F>], i: usize) {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Rlc` is never constructed
[INFO] [stdout]   --> src/cyclefold.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct Rlc {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `U` is never constructed
[INFO] [stdout]   --> src/cyclefold.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct U {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `x` and `y` are never read
[INFO] [stdout]   --> src/cyclefold.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub struct AffineVar {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout] 56 |     pub x: EmulatedFrVar,
[INFO] [stdout]    |         ^
[INFO] [stdout] 57 |     pub y: EmulatedFrVar,
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `AffineVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `e`, `cc`, and `pc` are never read
[INFO] [stdout]   --> src/cyclefold.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub struct CommVar {
[INFO] [stdout]    |            ------- fields in this struct
[INFO] [stdout] 62 |     e: AffineVar,
[INFO] [stdout]    |     ^
[INFO] [stdout] 63 |     cc: AffineVar,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 64 |     pc: AffineVar,
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `CommVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/cyclefold.rs:84:12
[INFO] [stdout]    |
[INFO] [stdout] 83 | impl Rlc {
[INFO] [stdout]    | -------- associated function in this implementation
[INFO] [stdout] 84 |     pub fn new(c_r: G1Projective, c_i: G1Projective, rb: Fr) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `prove` and `verify` are never used
[INFO] [stdout]    --> src/cyclefold.rs:90:12
[INFO] [stdout]     |
[INFO] [stdout]  89 | impl CycleFold {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout]  90 |     pub fn prove(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn verify(
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Pedersen` is never constructed
[INFO] [stdout]  --> src/pedersen.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Pedersen<C: CurveGroup> {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Param` is never constructed
[INFO] [stdout]   --> src/pedersen.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct Param<C: CurveGroup> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `setup` and `commit` are never used
[INFO] [stdout]   --> src/pedersen.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<C: CurveGroup> Pedersen<C> {
[INFO] [stdout]    | ------------------------------- associated functions in this implementation
[INFO] [stdout] 16 |     pub fn setup(mut rng: impl RngCore, len: usize) -> Param<C> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn commit(param: &Param<C>, v: &[C::Scalar], r: &C::Scalar) -> C {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `poseidon_custom_config` is never used
[INFO] [stdout]  --> src/poseidon_config.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn poseidon_custom_config<F: PrimeField>(
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `poseidon_canonical_config` is never used
[INFO] [stdout]   --> src/poseidon_config.rs:24:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn poseidon_canonical_config<F: PrimeField>() -> PoseidonConfig<F> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `cm` and `w` are never read
[INFO] [stdout]   --> src/zerofold.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct Sc {
[INFO] [stdout]    |        -- fields in this struct
[INFO] [stdout] 27 |     cm: (Fr, G1Projective),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 28 |     t: Fr,
[INFO] [stdout] 29 |     w: Vec<Fr>,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Sc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `cm` and `e` are never read
[INFO] [stdout]   --> src/zerofold.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    |        --- fields in this struct
[INFO] [stdout] 35 |     cm: (Fr, G1Projective),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 36 |     e: Vec<Fr>,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Nsc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ZeroFold` is never constructed
[INFO] [stdout]   --> src/zerofold.rs:73:12
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub struct ZeroFold {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `prove` and `verify` are never used
[INFO] [stdout]    --> src/zerofold.rs:81:12
[INFO] [stdout]     |
[INFO] [stdout]  80 | impl ZeroFold {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  81 |     pub fn prove(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 238 |     pub fn verify(
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `fold` is never used
[INFO] [stdout]    --> src/zerofold.rs:316:4
[INFO] [stdout]     |
[INFO] [stdout] 316 | fn fold(v: Vec<Fr>, w: Vec<Fr>) -> impl Fn(Fr) -> Vec<Fr> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MLE` is never constructed
[INFO] [stdout]    --> src/zerofold.rs:325:8
[INFO] [stdout]     |
[INFO] [stdout] 325 | struct MLE {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `e`, `cc`, and `pc` are never used
[INFO] [stdout]    --> src/zerofold.rs:332:12
[INFO] [stdout]     |
[INFO] [stdout] 331 | impl MLE {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] 332 |     pub fn e(e: Vec<Fr>) -> (impl Fn(usize) -> Fr, impl Fn(usize) -> Fr) {
[INFO] [stdout]     |            ^
[INFO] [stdout] ...
[INFO] [stdout] 342 |     pub fn cc(
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 364 |     pub fn pc(
[INFO] [stdout]     |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/main.rs:31:29
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn synthesize(self, cs: ConstraintSystemRef<Fr>, z_in: &Vec<FrVar>) -> Result<Vec<FrVar>> {
[INFO] [stdout]    |                             ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_in`
[INFO] [stdout]   --> src/main.rs:31:58
[INFO] [stdout]    |
[INFO] [stdout] 31 |     pub fn synthesize(self, cs: ConstraintSystemRef<Fr>, z_in: &Vec<FrVar>) -> Result<Vec<FrVar>> {
[INFO] [stdout]    |                                                          ^^^^ help: if this is intentional, prefix it with an underscore: `_z_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |         let mut cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]    |             ----^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]   --> src/main.rs:38:13
[INFO] [stdout]    |
[INFO] [stdout] 38 |         let mut cs = ConstraintSystem::<Fr>::new_ref();
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `zf`
[INFO] [stdout]   --> src/main.rs:94:5
[INFO] [stdout]    |
[INFO] [stdout] 94 |     zf: &zerofold::UVar,
[INFO] [stdout]    |     ^^ help: if this is intentional, prefix it with an underscore: `_zf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cf`
[INFO] [stdout]   --> src/main.rs:95:5
[INFO] [stdout]    |
[INFO] [stdout] 95 |     cf: &cyclefold::UVar,
[INFO] [stdout]    |     ^^ help: if this is intentional, prefix it with an underscore: `_cf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_0`
[INFO] [stdout]   --> src/main.rs:96:5
[INFO] [stdout]    |
[INFO] [stdout] 96 |     z_0: &Vec<FrVar>,
[INFO] [stdout]    |     ^^^ help: if this is intentional, prefix it with an underscore: `_z_0`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `z_i`
[INFO] [stdout]   --> src/main.rs:97:5
[INFO] [stdout]    |
[INFO] [stdout] 97 |     z_i: &Vec<FrVar>,
[INFO] [stdout]    |     ^^^ help: if this is intentional, prefix it with an underscore: `_z_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sc_i`
[INFO] [stdout]   --> src/main.rs:98:5
[INFO] [stdout]    |
[INFO] [stdout] 98 |     sc_i: &FrVar,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_sc_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Nsc` is more private than the item `zerofold::UVar::new`
[INFO] [stdout]   --> src/zerofold.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     pub fn new(cs: ConstraintSystemRef<Fr>, nsc: Nsc) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated function `zerofold::UVar::new` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:34:1
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Nsc` is more private than the item `ZeroFold::prove`
[INFO] [stdout]   --> src/zerofold.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 | /     pub fn prove(
[INFO] [stdout] 82 | |         pp: Param<G1Projective>,
[INFO] [stdout] 83 | |         u_r: Nsc,
[INFO] [stdout] 84 | |         cc: Sc,
[INFO] [stdout] 85 | |         pc: Sc,
[INFO] [stdout] 86 | |         mle: MLE,
[INFO] [stdout] 87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Nsc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:34:1
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Sc` is more private than the item `ZeroFold::prove`
[INFO] [stdout]   --> src/zerofold.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 | /     pub fn prove(
[INFO] [stdout] 82 | |         pp: Param<G1Projective>,
[INFO] [stdout] 83 | |         u_r: Nsc,
[INFO] [stdout] 84 | |         cc: Sc,
[INFO] [stdout] 85 | |         pc: Sc,
[INFO] [stdout] 86 | |         mle: MLE,
[INFO] [stdout] 87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]    | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Sc` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/zerofold.rs:26:1
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct Sc {
[INFO] [stdout]    | ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `MLE` is more private than the item `ZeroFold::prove`
[INFO] [stdout]    --> src/zerofold.rs:81:5
[INFO] [stdout]     |
[INFO] [stdout]  81 | /     pub fn prove(
[INFO] [stdout]  82 | |         pp: Param<G1Projective>,
[INFO] [stdout]  83 | |         u_r: Nsc,
[INFO] [stdout]  84 | |         cc: Sc,
[INFO] [stdout]  85 | |         pc: Sc,
[INFO] [stdout]  86 | |         mle: MLE,
[INFO] [stdout]  87 | |     ) -> ark_relations::r1cs::Result<Self> {
[INFO] [stdout]     | |__________________________________________^ associated function `ZeroFold::prove` is reachable at visibility `pub(crate)`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `MLE` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/zerofold.rs:325:1
[INFO] [stdout]     |
[INFO] [stdout] 325 | struct MLE {
[INFO] [stdout]     | ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `AugmentedCircuit` is never constructed
[INFO] [stdout]   --> src/main.rs:44:8
[INFO] [stdout]    |
[INFO] [stdout] 44 | struct AugmentedCircuit {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_input` is never used
[INFO] [stdout]   --> src/alloc.rs:10:8
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub trait Alloc<F: PrimeField> {
[INFO] [stdout]    |           ----- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 10 |     fn to_input(&self, cs: ConstraintSystemRef<F>) -> ark_relations::r1cs::Result<Self::Out>;
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vandermonde_interpolation` is never used
[INFO] [stdout]  --> src/coeffs.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn vandermonde_interpolation<F: Field>(evals: &[F]) -> Vec<F> {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `gaussian_elimination` is never used
[INFO] [stdout]   --> src/coeffs.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn gaussian_elimination<F: Field>(matrix: &mut [Vec<F>]) -> Vec<F> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `echelon` is never used
[INFO] [stdout]   --> src/coeffs.rs:53:4
[INFO] [stdout]    |
[INFO] [stdout] 53 | fn echelon<F: Field>(matrix: &mut [Vec<F>], i: usize, j: usize) {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eliminate` is never used
[INFO] [stdout]   --> src/coeffs.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn eliminate<F: Field>(matrix: &mut [Vec<F>], i: usize) {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Rlc` is never constructed
[INFO] [stdout]   --> src/cyclefold.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct Rlc {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `U` is never constructed
[INFO] [stdout]   --> src/cyclefold.rs:36:12
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub struct U {
[INFO] [stdout]    |            ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `x` and `y` are never read
[INFO] [stdout]   --> src/cyclefold.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 55 | pub struct AffineVar {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout] 56 |     pub x: EmulatedFrVar,
[INFO] [stdout]    |         ^
[INFO] [stdout] 57 |     pub y: EmulatedFrVar,
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `AffineVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `e`, `cc`, and `pc` are never read
[INFO] [stdout]   --> src/cyclefold.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub struct CommVar {
[INFO] [stdout]    |            ------- fields in this struct
[INFO] [stdout] 62 |     e: AffineVar,
[INFO] [stdout]    |     ^
[INFO] [stdout] 63 |     cc: AffineVar,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 64 |     pc: AffineVar,
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `CommVar` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/cyclefold.rs:84:12
[INFO] [stdout]    |
[INFO] [stdout] 83 | impl Rlc {
[INFO] [stdout]    | -------- associated function in this implementation
[INFO] [stdout] 84 |     pub fn new(c_r: G1Projective, c_i: G1Projective, rb: Fr) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `prove` and `verify` are never used
[INFO] [stdout]    --> src/cyclefold.rs:90:12
[INFO] [stdout]     |
[INFO] [stdout]  89 | impl CycleFold {
[INFO] [stdout]     | -------------- associated items in this implementation
[INFO] [stdout]  90 |     pub fn prove(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |     pub fn verify(
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Pedersen` is never constructed
[INFO] [stdout]  --> src/pedersen.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub struct Pedersen<C: CurveGroup> {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Param` is never constructed
[INFO] [stdout]   --> src/pedersen.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct Param<C: CurveGroup> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `setup` and `commit` are never used
[INFO] [stdout]   --> src/pedersen.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | impl<C: CurveGroup> Pedersen<C> {
[INFO] [stdout]    | ------------------------------- associated functions in this implementation
[INFO] [stdout] 16 |     pub fn setup(mut rng: impl RngCore, len: usize) -> Param<C> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn commit(param: &Param<C>, v: &[C::Scalar], r: &C::Scalar) -> C {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `poseidon_custom_config` is never used
[INFO] [stdout]  --> src/poseidon_config.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn poseidon_custom_config<F: PrimeField>(
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `poseidon_canonical_config` is never used
[INFO] [stdout]   --> src/poseidon_config.rs:24:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn poseidon_canonical_config<F: PrimeField>() -> PoseidonConfig<F> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `cm` and `w` are never read
[INFO] [stdout]   --> src/zerofold.rs:27:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | struct Sc {
[INFO] [stdout]    |        -- fields in this struct
[INFO] [stdout] 27 |     cm: (Fr, G1Projective),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 28 |     t: Fr,
[INFO] [stdout] 29 |     w: Vec<Fr>,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Sc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `cm` and `e` are never read
[INFO] [stdout]   --> src/zerofold.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | struct Nsc {
[INFO] [stdout]    |        --- fields in this struct
[INFO] [stdout] 35 |     cm: (Fr, G1Projective),
[INFO] [stdout]    |     ^^
[INFO] [stdout] 36 |     e: Vec<Fr>,
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Nsc` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `ZeroFold` is never constructed
[INFO] [stdout]   --> src/zerofold.rs:73:12
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub struct ZeroFold {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `prove` and `verify` are never used
[INFO] [stdout]    --> src/zerofold.rs:81:12
[INFO] [stdout]     |
[INFO] [stdout]  80 | impl ZeroFold {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  81 |     pub fn prove(
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 238 |     pub fn verify(
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `fold` is never used
[INFO] [stdout]    --> src/zerofold.rs:316:4
[INFO] [stdout]     |
[INFO] [stdout] 316 | fn fold(v: Vec<Fr>, w: Vec<Fr>) -> impl Fn(Fr) -> Vec<Fr> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MLE` is never constructed
[INFO] [stdout]    --> src/zerofold.rs:325:8
[INFO] [stdout]     |
[INFO] [stdout] 325 | struct MLE {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `e`, `cc`, and `pc` are never used
[INFO] [stdout]    --> src/zerofold.rs:332:12
[INFO] [stdout]     |
[INFO] [stdout] 331 | impl MLE {
[INFO] [stdout]     | -------- associated items in this implementation
[INFO] [stdout] 332 |     pub fn e(e: Vec<Fr>) -> (impl Fn(usize) -> Fr, impl Fn(usize) -> Fr) {
[INFO] [stdout]     |            ^
[INFO] [stdout] ...
[INFO] [stdout] 342 |     pub fn cc(
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 364 |     pub fn pc(
[INFO] [stdout]     |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 36.36s
[INFO] running `Command { std: "docker" "inspect" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf", kill_on_drop: false }`
[INFO] [stdout] 2d863a44094db72c776c0bb143f80e89516850371dc9be3b3bdc69c1dad7adaf
